Simulator of man-machine system

A Man-Machine Theorem-Proving System

This paper describes a man-machine theorem proving system at the Un ivers i ty of Texas (Austin) which has been used to prove a few theorems in general topology. The theorem (or subgoal) being proved is presented on the scope in i t s na tu ra l form so that the user can eas i l y comprehend it and, by a series of i n t e rac t i ve commands, can help wi th the proof when he des i res . A featu...

MAN-MACHINE INTERACTION SYSTEM FOR SUBJECT INDEPENDENT SIGN LANGUAGE RECOGNITION USING FUZZY HIDDEN MARKOV MODEL

Sign language recognition has spawned more and more interest in human–computer interaction society. The major challenge that SLR recognition faces now is developing methods that will scale well with increasing vocabulary size with a limited set of training data for the signer independent application. The automatic SLR based on hidden Markov models (HMMs) is very sensitive to gesture's shape inf...

The Simulator - Based Halden Man - Machine Laboratory ( Hammlab ) and Its Application in Human Factor Studies

The OECD Halden Reactor Project is a joint undertaking of national nuclear organisations in 20 countries, who together sponsor a research programme under the auspices of the OECD Nuclear Energy Agency. One important research area addresses control room design and the role of the operator within such an environment. The simulator-based Halden Man-Machine Laboratory (HAMMLAB) has, since its estab...

IDIAS Data ow Machine Simulator

A Co-operative Controling Environment in Man-machine System

In the disassembling process context, the supervision and control system assumes very large dimensions, represented by the need to automatically plan the disassembly process of the end-of-life product, including generation of product model, identification of the best sequence of operations, planning the actors (persons and machines) and programming the machines used to perform this task. This p...